Llistar TÃtols
S'han trobat 2 Ãtems
Llistant Ãtems des de 0 a 2:
| Format | Data | TÃtol | Autor |
|---|---|---|---|
| Format | Data | TÃtol | Autor |
|
1 setembre 2019 | Eina educativa de suport per l’estudi de resoledors SAT | Cané Salamià , Marc |
|
|
1 juny 2020 | GOS A new declarative tool for modelling and solving CSPs to SAT | Generoso Masós, Roger |
